
import java.io.*;

class STD_INPUT_STREAM extends ANY
{  
  private BufferedReader reader;
  
 public STD_INPUT_STREAM()
 {
 }
 
 public void STD_INPUT_STREAMINIT()
 {
  reader=new BufferedReader(new InputStreamReader(System.in));
 }
 
 public INTEGER STD_INPUT_STREAMGET_INTEGER()
 {
   try
   {
   return new INTEGER( Integer.parseInt(reader.readLine()) );
   }
   catch (java.io.IOException ex)
   {
   }
   return null;
 } 
 
 public REAL STD_INPUT_STREAMGET_REAL()
 {
   try
   {
   return new REAL( (float)( Double.parseDouble(reader.readLine()) ));
   }
   catch (java.io.IOException ex)
   {
   }
   return null;
 }

 public CHARACTER STD_INPUT_STREAMGET_CHARACTER()
 {
   try
   {
   return new CHARACTER( reader.readLine().charAt(0) );
   }
   catch (java.io.IOException ex)
   {
   }
   return null;
 }

 public STRING STD_INPUT_STREAMGET_STRING()
 {
   try
   {
   return new STRING( reader.readLine() );
   }
   catch (java.io.IOException ex)
   {
   }
   return null;
 }
 
}